『2007年度 情報数学 証明論入門』
2007年度 情報数学 証明論入門
三段論法
(
モーダスポネンス
)
健全性
証明できたことは正しい
完全性
正しいことは証明できる
シーケント
シーケント計算
論理的帰結
$ A_1, A_2,...,A_n \